Glutamatergic transmission in the central nucleus of the amygdala is selectively altered in Marchigian Sardinian alcohol-preferring rats: Alcohol and CRF effects

The CRF system of the central nucleus of the amygdala (CeA) is important for the processing of anxiety, stress, and effects of acute and chronic ethanol. We previously reported that ethanol decreases evoked glutamate transmission in the CeA of Sprague Dawley rats and that ethanol dependence alters glutamate release in the CeA. Here, we examined the effects of ethanol, CRF and a CRF1 receptor antagonist on spontaneous and evoked glutamatergic transmission in CeA neurons from Wistar and Marchigian Sardinian Preferring (msP) rats, a rodent line genetically selected for excessive alcohol drinking and characterized by heightened activity of the CRF1 system. Basal spontaneous and evoked glutamate transmission in CeA neurons from msP rats was increased compared to Wistar rats. Ethanol had divergent effects, either increasing or decreasing spontaneous glutamate release in the CeA of Wistar rats. This bidirectional effect was retained in msP rats, but the magnitude of the ethanol-induced increase in glutamate release was significantly smaller. The inhibitory effect of ethanol on evoked glutamatergic transmission was similar in both strains. CRF also either increased or decreased spontaneous glutamate release in CeA neurons of Wistar rats, however, in msP rats CRF only increased glutamate release. The inhibitory effect of CRF on evoked glutamatergic transmission was also lost in neurons from msP rats. A CRF1 antagonist produced only minor effects on spontaneous glutamate transmission, which were consistent across strains, and no effects on evoked glutamate transmission. These results demonstrate that the genetically altered CRF system of msP rats results in alterations in spontaneous and stimulated glutamate signaling in the CeA that may contribute to both the anxiety and drinking behavioral phenotypes

A network-aware framework for energy-efficient data acquisition in wireless sensor networks

Wireless sensor networks enable users to monitor the physical world at an extremely high fidelity. In order to collect the data generated by these tiny-scale devices, the data management community has proposed the utilization of declarative data-acquisition frameworks. While these frameworks have facilitated the energy-efficient retrieval of data from the physical environment, they were agnostic of the underlying network topology and also did not support advanced query processing semantics. In this paper we present KSpot+, a distributed network-aware framework that optimizes network efficiency by combining three components: (i) the tree balancing module, which balances the workload of each sensor node by constructing efficient network topologies; (ii) the workload balancing module, which minimizes data reception inefficiencies by synchronizing the sensor network activity intervals; and (iii) the query processing module, which supports advanced query processing semantics. In order to validate the efficiency of our approach, we have developed a prototype implementation of KSpot+ in nesC and JAVA. In our experimental evaluation, we thoroughly assess the performance of KSpot+ using real datasets and show that KSpot+ provides significant energy reductions under a variety of conditions, thus significantly prolonging the longevity of a WSN

Social representations of HIV/AIDS in five Central European and Eastern European countries: A multidimensional analysis

Cognitive processing models of risky sexual behaviour have proliferated in the two decades since the first reporting of HIV/AIDS, but far less attention has been paid to individual and group representations of the epidemic and the relationship between these representations and reported sexual behaviours. In this study, 494 business people and medics from Estonia, Georgia, Hungary, Poland and Russia sorted free associations around HIV/AIDS in a matrix completion task. Exploratory factor and multidimensional scaling analyses revealed two main dimensions (labelled ‘Sex’ and ‘Deadly disease’), with significant cultural and gender variations along both dimension scores. Possible explanations for these results are discussed in the light of growing concerns over the spread of the epidemic in this region

Values of sexual behaviour in Central and Eastern Europe

Despite the profusion of social cognitive models for the prediction of sexual behaviour, we have only limited knowledge as to the role of individual values in predicting risky sexual activity. This study assessed the relationship between a recently developed value structure and sexual behaviour in the context of rising HIV infection in central and eastern Europe. Five hundred and three respondents (business people, doctors and nurses) from Estonia, Georgia, Hungary, Poland and Russia completed Schwartz’s Portrait Values Questionnaire and reported their condom use, partnership history and record of sexual disease. Results indicated that values had a moderate but consistent relationship with sexual behaviour, with riskier sexual activity reported by those high on Openness to Change, Hedonism and Self-Enhancement. These findings are discussed in the context of the need for culturally sensitive interventions in order to tackle the growing HIV epidemic in this region.This project was supported by a research grant from the Research Support Scheme operated by the Soros Foundation, Prague

Repeat bleaching of a central Pacific coral reef over the past six decades (1960–2016)

© The Author(s), 2018. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Communications Biology 1 (2018): 177, doi:10.1038/s42003-018-0183-7.The oceans are warming and coral reefs are bleaching with increased frequency and severity, fueling concerns for their survival through this century. Yet in the central equatorial Pacific, some of the world’s most productive reefs regularly experience extreme heat associated with El Niño. Here we use skeletal signatures preserved in long-lived corals on Jarvis Island to evaluate the coral community response to multiple successive heatwaves since 1960. By tracking skeletal stress band formation through the 2015-16 El Nino, which killed 95% of Jarvis corals, we validate their utility as proxies of bleaching severity and show that 2015-16 was not the first catastrophic bleaching event on Jarvis. Since 1960, eight severe (>30% bleaching) and two moderate (<30% bleaching) events occurred, each coinciding with El Niño. While the frequency and severity of bleaching on Jarvis did not increase over this time period, 2015–16 was unprecedented in magnitude. The trajectory of recovery of this historically resilient ecosystem will provide critical insights into the potential for coral reef resilience in a warming world.Funding for this study was provided by National Science Foundation awards OCE 1537338, OCE 1605365, and OCE 1031971 to A.L.C., and the Robertson Foundation to A.L.C., National Science Foundation Graduate Research Fellowships to T.M.D. and A.E.A., and a National Defense Science and Engineering Graduate Fellowship to H.E.R

Harvey: A Greybox Fuzzer for Smart Contracts

We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation approach that effectively detects bugs and security vulnerabilities. However, greybox fuzzers randomly mutate program inputs to exercise new paths; this makes it challenging to cover code that is guarded by narrow checks, which are satisfied by no more than a few input values. Moreover, most real-world smart contracts transition through many different states during their lifetime, e.g., for every bid in an auction. To explore these states and thereby detect deep vulnerabilities, a greybox fuzzer would need to generate sequences of contract transactions, e.g., by creating bids from multiple users, while at the same time keeping the search space and test suite tractable. In this experience paper, we explain how Harvey alleviates both challenges with two key fuzzing techniques and distill the main lessons learned. First, Harvey extends standard greybox fuzzing with a method for predicting new inputs that are more likely to cover new paths or reveal vulnerabilities in smart contracts. Second, it fuzzes transaction sequences in a targeted and demand-driven way. We have evaluated our approach on 27 real-world contracts. Our experiments show that the underlying techniques significantly increase Harvey's effectiveness in achieving high coverage and detecting vulnerabilities, in most cases orders-of-magnitude faster; they also reveal new insights about contract code.Comment: arXiv admin note: substantial text overlap with arXiv:1807.0787

Expanding modes of reflection in design futuring

Design futuring approaches, such as speculative design, design fiction and others, seek to (re)envision futures and explore alternatives. As design futuring becomes established in HCI design research, there is an opportunity to expand and develop these approaches. To that end, by reflecting on our own research and examining related work, we contribute five modes of reflection. These modes concern formgiving, temporality, researcher positionality, real-world engagement, and knowledge production. We illustrate the value of each mode through careful analysis of selected design exemplars and provide questions to interrogate the practice of design futuring. Each reflective mode offers productive resources for design practitioners and researchers to articulate their work, generate new directions for their work, and analyze their own and others’ work.

HD 219134 Revisited: Planet d Transit Upper Limit and Planet f Transit Nondetection with ASTERIA and TESS

HD 219134 is a K3V dwarf star with six reported radial-velocity discovered planets. The two innermost planets b and c show transits, raising the possibility of this system to be the nearest (6.53 pc), brightest (V = 5.57) example of a star with a compact multiple transiting planet system. Ground-based searches for transits of planets beyond b and c are not feasible because of the infrequent transits, long transit duration (~5 hr), shallow transit depths (<1%), and large transit time uncertainty (~half a day). We use the space-based telescopes the Arcsecond Space Telescope Enabling Research in Astrophysics (ASTERIA) and the Transiting Exoplanet Survey Satellite (TESS) to search for transits of planets f (P = 22.717 days and M sin i = 7.3 ± 0.04M_⊕) and d (P = 46.859 days and M sin i = 16.7 ± 0.64M_⊕). ASTERIA was a technology demonstration CubeSat with an opportunity for science in an extended program. ASTERIA observations of HD 219134 were designed to cover the 3σ transit windows for planets f and d via repeated visits over many months. While TESS has much higher sensitivity and more continuous time coverage than ASTERIA, only the HD 219134 f transit window fell within the TESS survey's observations. Our TESS photometric results definitively rule out planetary transits for HD 219134 f. We do not detect the Neptune-mass HD 219134 d transits and our ASTERIA data are sensitive to planets as small as 3.6 R_⊕. We provide TESS updated transit times and periods for HD 219134 b and c, which are designated TOI 1469.01 and 1469.02 respectively